On disjunctions of algebraic sets in completely simple semigroups

A semigroup S is called an equational domain if any finite union of algebraic sets over S is algebraic. We give some necessary and su?cient conditions for a completely simple semigroup to be an equational domain.     

On the complexity of the word problem for automaton semigroups and automaton groups

In this paper, we study the word problem for automaton semigroups and automaton groups from a complexity point of view. As an intermediate concept between automaton semigroups and automaton groups, we introduce automaton-inverse semigroups, which are generated by partial, yet invertible automata. We show that there is an automaton-inverse semigroup and, thus, an automaton semigroup with a PSpace-complete word problem. We also show that there is an automaton group for which the word problem with a single rational constraint is PSpace-complete. Additionally, we provide simpler constructions for the uniform word problems of these classes. For the uniform word problem for automaton groups (without rational constraints), we show NL-hardness. Finally, we investigate a question asked by Cain about a better upper bound for the length of a word on which two distinct elements of an automaton semigroup must act differently.A detailed listing of the contributions of this paper can be found at the end of this paper.     

广义算子半群的PERRON问题

借助于广义算子半群和广义积分算子半群的关系,讨论广义算子半群的Perron型指数稳定性,研究了广义积分算子半群的渐近行为.     

超富足半群及其子类

借助半群的Malcev积和公理化条件,对超富足半群及其子类进行了刻画,给出了超富足半群及其子类的若干特征.     

Unital affine semigroups

Affine semigroups are convex sets on which there exists an associative binary operation which is affine separately in either variable. They were introduced by Cohen and Collins in 1959. We look at examples of affine semigroups which are of interest to matrix and operator theory and we prove some new results on the extreme points and the absorbing elements of certain types of affine semigroups. Most notably we improve a result of Wendel that every invertible element in a compact affine semigroup is extreme by extending this result to linearly bounded affine semigroups.     

A note on random walks with absorbing barriers and sequential Monte Carlo methods

In this article, we consider importance sampling (IS) and sequential Monte Carlo (SMC) methods in the context of one-dimensional random walks with absorbing barriers. In particular, we develop a very precise variance analysis for several IS and SMC procedures. We take advantage of some explicit spectral formulae available for these models to derive sharp and explicit estimates; this provides stability properties of the associated normalized Feynman–Kac semigroups. Our analysis allows one to compare the variance of SMC and IS techniques for these models. The work in this article is one of the few to consider an in-depth analysis of an SMC method for a particular model-type as well as variance comparison of SMC algorithms.     

带恰当断面的拟-型$\delta$半群

In this paper,some properties of quasi-type δ semigroups with an adequate transversal are explored.In particular,abundant semigroups with a cancellative transversal are character-ized.Our results generalize and enrich Saito＇s results on quasi-orthodox semigroups with an inverse transversal.